} private boolean jj_3R_5() { if (jj_scan_token(INTEGER)) return true; return false; } /** Generated Token Manager. */
} private boolean jj_3R_5() { return jj_scan_token(INTEGER); } /** Generated Token Manager. */